Koha online

1.
Logic for mathematics and computer science

by Burris, Stanley N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 1998Availability: Items available for loan: [Call number: 511.3 BUR] (1).
Place hold
2.
Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
Place hold
3.
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

by Ensley, Douglas E | Crawley, J. Winston.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 511.1 ENS] (1).
Place hold
4.
Linear logic in computer science

by Ehrhard, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
Place hold
5.
Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (7). Items available for reference: [Call number: 511 ROS] (3).
Place hold
6.
No cover image available
Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for loan: [Call number: 511 ROS] (1).
Place hold
7.
Symbolic and Knowledge-Based Signal Processing

by Oppenheim, Alan V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood: Prentice Hall, 1992Availability: Items available for loan: [Call number: 621.38220285 OPP] (1).
Place hold
8.
What is a logical system?

by Gabbay, D. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 1995Availability: Items available for loan: [Call number: 511.3 GAB] (1).
Place hold
9.
Logic of knowledge bases

by Levesque, Hector J | Lakemeyer, Gerhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 006.332 LEV] (1).
Place hold
10.
Knowledge in action : logical foundations for specifying and implementing dynamical systems

by Reiter, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.332 REI] (1).
Place hold
11.
Annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine

by Petzold, Charles.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Wiley, 2008Availability: Items available for loan: [Call number: 511.3 PET] (1).
Place hold
12.
Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
Place hold
13.
Alan Turing's systems of logic : the Princeton thesis

by Appel, Andrew W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2012Availability: Items available for loan: [Call number: 511.3 APP] (1).
Place hold
14.
Foundations of logic and mathematics: Applications to computer science and cryptography

by Nievergelt, Yves.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
Place hold
15.
Discrete structures with contemporary applications

by Stanoyevitch, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004.0151 STA] (1).
Place hold
16.
Computational Thinking for The Modern Problem Solver

by Riley, David D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 004 RIL] (1).
Place hold
17.
Computable models

by Turner, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
Place hold
18.
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003

by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
Place hold
19.
Fundamentals of discrete mathematical structures

by Chowdhary, K. R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2008Availability: Items available for loan: [Call number: 511 CHO] (1).
Place hold
20.
Logic : a brief course

by Mundici, Daniele.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Milan: Springer, 2012Availability: Items available for loan: [Call number: 511.3 MUN] (1).
Place hold

Powered by Koha